home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / glossary.mail / 000029_info-tsql-sender_Fri Apr 30 07:49:56 1993.msg < prev    next >
Internet Message Format  |  1993-06-11  |  6KB
  1. Date: Fri, 30 Apr 93 16:18:26 +0100
  2. From: (Fabio Grandi) <fabio@deis64.cineca.it>
  3. To: tsql@cs.arizona.edu
  4. Subject: Proposed Glossary Entry. Re: Temporal Value Integrity.
  5. Status: RO
  6. Content-Length: 5760
  7. X-Lines: 159
  8.  
  9. Rick Snodgrass invited us to explain the relationship between
  10. Jim Clifford's "value history" and our "history variables".
  11.  
  12. We take this chance to proposing alternative definitions
  13. which summarize our point of view on the "temporal value integrity"
  14. and some related concepts.
  15.  
  16. Anyway, we do not pretend our definitions (so as they are)
  17. to be considered as full entry proposals that we would like
  18. to be added to the glossary and substitute the alternative terms.
  19.  
  20. Even if in the form of proposed glossary entries (for clarity),
  21. our definitions want just to be a contribution to the discussion.
  22. Their discussion part is not enough complete nor self-contained.
  23.  
  24. We only hope that the discussion on the tsql forum and
  25. a final editing by Christian Jensen could profit of them
  26. (or at least take into account our point of view).
  27.  
  28. Anyway, as we tried to evidence,
  29. the magic word "history" could be a good way to put together
  30. rather distants terms with conceptual affinity
  31. (like time sequence, value history, grouping, temporal value)
  32. in order to provide a consistent unifying terminology.
  33.  
  34. We used the concept of "history" in some works on
  35. temporal relational databases [which are not widely known]
  36. (
  37.   "A history-oriented data view and operation semantics for
  38.    temporal relational databases", CIOC-CNR Tech. Rep. N. 79, 
  39.    University of Bologna, Italy, Jan. 91 (submitted for publication).
  40.  
  41.   "HoTQuel: A history-oriented temporal query language",
  42.    Proc. 5th IEEE CompEuro, Italy, May 91.
  43.  
  44.   "History and tuple variables for temporal query languages",
  45.    (formerly submitted to the Arlington workshop), 1993.
  46. )
  47. but it can be applied to a more general temporal data model,
  48. as we tried to do in the proposed entries.
  49.  
  50. Sincerely,
  51.    Fabio Grandi, Maria Rita Scalas, Paolo Tiberio.
  52.  
  53.  
  54. LaTeX document follows.
  55. ---------------------------------------------------------------------
  56.  
  57. \documentstyle[11pt]{article}
  58. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  59. % VARIOUS MACROS
  60. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  61.  
  62. \long\def\comment#1{}
  63. \newcommand{\entry}[1]{\subsubsection*{#1}}
  64.  
  65. \addtolength{\textwidth}{1.485in}%{1.2in}
  66. \setlength{\oddsidemargin}{.1in}%{.3in}
  67. \setlength{\evensidemargin}{.1in}%{.3in}
  68. \addtolength{\topmargin}{-.85in} %{-1.35in}
  69. \addtolength{\textheight}{1.8in} %{2.8in}
  70.  
  71. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  72. % PAPER START
  73. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  74.  
  75. \begin{document}
  76.  
  77. \subsection{History}
  78.  
  79. \entry{Definition}         
  80.  
  81. A {\em history} is the temporal representation of an "object"
  82. of the real world.
  83. Depending on the object, we can have {\em value histories,
  84. attribute histories, entity histories, relationship histories\/}, etc.
  85.  
  86. \entry{Alternative Names}   
  87.  
  88. Time sequence, temporal value, (temporal evolution).
  89.  
  90. \entry{Discussion}
  91. ``History'' is a general and orthogonal (+E1) concept.
  92. Alternative names apply when it specializes into attribute history
  93. (temporal value) or entity/relationship history (time sequence).
  94. ``History'' is also preferred over alternative names because
  95. it allows a better definition of related terms.
  96. In particular, ``history'' well lends itself to be used
  97. as modifier (+E1), even though ``time sequence''
  98. is a more consolidated term (-E3,-E6).
  99. ``History'' is natural (+E2,+E8) and precise (+E9),
  100. whereas ``temporal value'' may recall a temporal element
  101. (e.g. timestamp value, as Richard said) and ``time sequence'' may recall
  102. a sequence of temporal elements.
  103.  
  104.  
  105. \subsection{History-oriented}
  106.  
  107. \entry{Definition}         
  108.  
  109. A temporal DBMS is said to be {\em history-oriented\/} if:
  110. \begin{enumerate}
  111. %
  112. \item It supports history unique identification
  113. (e.g. via time-invariant keys, surrogates or OIDs);
  114. %
  115. \item The integrity of histories as first-class objects is inherent
  116. in the model, in the sense that history-related integrity constraints
  117. might be enforced and the language provides a mechanism
  118. (history variables and quantification) for direct reference to
  119. {\em object histories\/};
  120. %
  121. \item The DML allows easy manipulation of object histories, in the sense
  122. that the language provides for user-friendly history selection,
  123. history retrieval and history modification primitives.
  124. %
  125. \end{enumerate}
  126.  
  127. \entry{Alternative Names}   
  128. Temporal value integrity, grouped.
  129.  
  130. \entry{Discussion}
  131. ``History-oriented'' is preferred over ``temporal value integrity''
  132. since its meaning seems to be more direct.
  133. Further, in a more general perspective,
  134. integrity constraints can be introduced as well
  135. in a history-oriented model
  136. (e.g. history uniqueness, entity history integrity,
  137. referential history integrity).
  138. ``History-oriented'' is also preferred over ``grouped'' in order
  139. to avoid confusion with other kinds of grouping 
  140. (e.g. defined terms ``[dynamic/static] valid time grouping'').
  141.  
  142. \subsection{History equivalent}
  143.  
  144. \entry{Definition}         
  145. Two objects are {\em history equivalent\/}
  146. if they are equal for all $n$-dimensional
  147. time boxes over which they are defined.
  148.  
  149. \entry{Alternative Names}   
  150. Value equivalent, snapshot equivalent.
  151.  
  152. \entry{Discussion}
  153. The ``value equivalence'' defined for tuples
  154. could be extended to consider histories. However, such an
  155. extensions would be rather inappropriate: value equivalence
  156. concerns attribute values and completely disregards time,
  157. whereas history equivalence implies a common evolution along
  158. with time (implicitly assumes equality of timestamps prior
  159. to compare attribute values).
  160. The extension would violate the rationale of the introduction
  161. of history-oriented models.
  162. ``History equivalent'' is a concept closer to ``snapshot equivalent''
  163. rather than to ``value equivalent''.
  164. Anyway, ``history equivalent'' seems to be more general.
  165.  
  166.  
  167. \end{document}